FaCT and iFaCT
نویسنده
چکیده
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier which has been implemented as a test-bed for a sound and complete tableaux satisfiability/subsumption testing algorithm. FaCT’s novelty lies in its relatively expressive logic and its highly optimised implementation of the tableaux algorithm. iFaCT is an extension of FaCT that supports reasoning with inverse roles. The resulting logic is particularly interesting as it no longer has the finite model property.
منابع مشابه
Informational Facts and the Metainformation Inherent in IFacts : the Soul of Data
Books, archives, and media contain information and meaning, and much of what librarians and information scientists focus on are these information vessels. Metadata is normally assigned to such vessels to assist in organizing and retrieving the information vessels. Facts are often derived from these information vessels through text mining, but facts may be directly produced from observations. A ...
متن کاملAn Optimized Tableau Structure for Explicit Representation of Disjunction
Recent DL reasoners (Ciclop [1], DLP [8],iFact [5], RACER [2]) have proven their practical efficiency for concept expression satisfiability checking (TBox Reasonning) within expressive DLs. Typically, such reasoners explore one branch of disjunction (alternatives introduced by OR construct) at a time, backtracking when necessary. We present in this paper a new tableau structure that efficiently...
متن کاملFact-Checking of Reports in Kalamat-e Anjoman Using Archival Documents on the History of Kashan during the Qajar Era
This research aims to do a content review on the materials printed and published in “Kalamat-e Anjoman” about the history of Kashan. This study also assesses these materials using archival documents in order to confirm or refute the contents. This research used a descriptive/analytical method and the data were obtained from “Kalamat-e Anjoman” and archival documents. Findings show that Abdolras...
متن کاملUsing Iron-Chelating Agents in Critically Ill Patients with Iron Overload. Fact or Fiction?
Recently, some evidence has shown that the failure of iron homeostasis may occur in critically ill patients and can lead to iron overload. Elevated ferritin levels as a body iron burden index in critically ill patients may be associated with depressed level of consciousness and greater mortality. However, the necessity of using iron-chelating agents in clinical situation is still unknown for th...
متن کاملFrom decriminalization to infringementlism (comparative study)
The entry of the government into the circle of permissible behaviors and the criminalization of some of them have certain bases. The mere fact that the norm is fundamental is not a reason for criminal intervention. Because the norms are not equally important, the legislature cannot treat them all the same, because the subject matter of all prohibited behaviors is different, and the proof of thi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999